翻訳と辞書 |
Community Z Tools : ウィキペディア英語版 | Community Z Tools The (CZT Community Z Tools ) (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language. CZT was proposed by Andrew Martin in 2001. "To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools."() == External links ==
* (CZT SourceForge website ) * (CZT initiative ) information by Andrew Martin * (Softpedia information ) * ''(CZT: A Framework for Z Tools )'' by Petra Malik and Mark Utting (PDF) * AM2001 (Proposal )
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Community Z Tools」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|